go top

constructive logic

  • 构造性逻辑

网络释义专业释义

  构造逻辑

类型系统并不对应经典逻辑, 而是对应一种称为“constructive logic(构造逻辑)”. 这个范式切换是这样:我们从思考一个事物是否是真, 切换到我们是否能够证明它们,更重要的是,我们不再考虑是否存在等量化词...

基于20个网页-相关网页

  • 构造逻辑
  • 构造逻辑

·2,447,543篇论文数据,部分数据来源于NoteExpress

双语例句

  • Materials were chosen on the basis of rationality, economy of means and constructive logic.

    材料选择基于合理性基础,考虑经济手段建造逻辑

    youdao

  • Following from this logic, constructive thinking should also be able to assist your relationships, not just your work life or cognitive ability.

    依照这种逻辑、有建设性思维不仅能够工作生活认知能力带来帮助辅助你的人际关系

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定